منابع مشابه
On the Concept of a Notational Variant
In the study ofmodal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Othe...
متن کاملStaged Notational Definitions
Recent work proposed defining type-safe macros via interpretation into a multi-stage language. The utility of this approach was illustrated with a language called MacroML, in which all type checking is carried out before macro expansion. Building on this work, the goal of this paper is to develop a macro language that makes it easy for programmers to reason about terms locally. We show that def...
متن کاملThe Influence of Notational Deficiencies on Process Model Comprehension
Research Article Kathrin Figl Vienna University of Economics and Business [email protected] Jan Mendling Vienna University of Economics and Business [email protected] Mark Strembeck Vienna University of Economics and Business [email protected] Visual process models are helpful when analyzing and improving complex organizational processes. However, the symbol sets used in different...
متن کاملToken and Notational Money in Electronic Commerce
What properties of money are important for electronic commerce? We argue that both transactional and privacy properties distinguish electronic commerce systems. We provide a quick overview of the history of money. We then consider privacy provided by different forms of money, and socially desirable disclosure of information as specified by legal reporting requirements. We classify electronic an...
متن کاملNotational Variants Economic news had little effect on financial markets
◮ The basic idea: ◮ Syntactic structure consists of lexical items, linked by binary asymmetric relations called dependencies. ◮ In the (translated) words of Lucien Tesnière [Tesnière(1959)]: ◮ The sentence is an organized whole, the constituent elements of which are words. [1.2] Every word that belongs to a sentence ceases by itself to be isolated as in the dictionary. Between the word and its ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1917
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1917-02897-2